@string{ic="Information and Computation"}
%@string{lncs="Lect. Notes Comp. Sci."}
@string{lncs="LNCS"}
@string{eucs="Dept. of Computer Science, University of Edinburgh"}
@string{mscs="Math. Struct. in Comp. Sci."},

@inproceedings{Acciai10,
  author    = {Lucia Acciai and Michele Boreale and Gianluigi Zavattaro},
  title     = {On the relationship between spatial logics and behavioral simulations},
  booktitle = {Proc. of FOSSACS},
  year      = {2010},
  pages     = {146-160},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6014},
}



@article{Mayr00,
  author    = {Richard Mayr},
  title     = {Process Rewrite Systems},
  journal   = {Inf. Comput.},
  volume    = {156},
  number    = {1-2},
  year      = {2000},
  pages     = {264-286},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{Moller96,
  author    = {Faron Moller},
  title     = {Infinite Results},
  booktitle = {Proc. of CONCUR},
  year      = {1996},
  pages     = {195-216},
  ee        = {http://dx.doi.org/10.1007/3-540-61604-7_56},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1119},
}




@phdthesis{Christensen93,
   author = {Søren Christensen},
   title = {Decidability and Decomposition in Process Algebras}, 
   school = eucs,
   year = {1993},
   type = {{PhD} thesis  {CST}--105--93}
}

@article{VersariBG09,
  author    = {Cristian Versari and
               Nadia Busi and
               Roberto Gorrieri},
  title     = {An expressiveness study of priority in process calculi},
  journal   = mscs,
  volume    = {19},
  number    = {6},
  year      = {2009},
  pages     = {1161-1189},
  ee        = {http://dx.doi.org/10.1017/S0960129509990168},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@inproceedings{AbadiF01,
  author    = {Mart\'{\i}n Abadi and
               C{\'e}dric Fournet},
  title     = {Mobile values, new names, and secure communication},
  booktitle = {Proc. of POPL'01},
  year      = {2001},
  publisher = {ACM},
  pages     = {104-115},
  ee        = {http://doi.acm.org/10.1145/360204.360213},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{Goltz88,
  author    = {Ursula Goltz},
  title     = {On Representing CCS Programs by Finite Petri Nets},
  booktitle = {Proc. of MFCS},
  year      = {1988},
  pages     = {339-350},
  ee        = {http://dx.doi.org/10.1007/BFb0017157},
publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {324},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}




@article{EsparzaN94,
  author    = {Javier Esparza and
               Mogens Nielsen},
  title     = {Decidability Issues for Petri Nets - a survey},
  journal   = {Bulletin of the EATCS},
  volume    = {52},
  year      = {1994},
  pages     = {244-262},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@article{HennessyRY05,
  author    = {Matthew Hennessy and
               Julian Rathke and
               Nobuko Yoshida},
  title     = {safeDpi: a language for controlling mobile code},
  journal   = {Acta Inf.},
  volume    = {42},
  number    = {4-5},
  year      = {2005},
  pages     = {227-290},
  ee        = {http://dx.doi.org/10.1007/s00236-005-0178-y},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{MostrousY07,
  author    = {Dimitris Mostrous and
               Nobuko Yoshida},
  title     = {Two Session Typing Systems for Higher-Order Mobile Processes},
  booktitle = {Proc. of TLCA},
  year      = {2007},
  pages     = {321-335},
  ee        = {http://dx.doi.org/10.1007/978-3-540-73228-0_23},
publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4583},
}

@inproceedings{MostrousY09,
  author    = {Dimitris Mostrous and
               Nobuko Yoshida},
  title     = {Session-Based Communication Optimisation for Higher-Order
               Mobile Processes},
  booktitle = {Proc. of TLCA},
  year      = {2009},
  pages     = {203-218},
  ee        = {http://dx.doi.org/10.1007/978-3-642-02273-9_16},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5608},
  }

@inproceedings{NielsenPV02,
  author    = {Mogens Nielsen and
               Catuscia Palamidessi and
               Frank D. Valencia},
  title     = {On the expressive power of temporal concurrent constraint
               programming languages},
  booktitle = {Proc. of PPDP},
  year      = {2002},
  publisher = {ACM},
  pages     = {156-167},
  ee        = {http://doi.acm.org/10.1145/571157.571173},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{BusiGZ03,
  author    = {Nadia Busi and
               Maurizio Gabbrielli and
               Gianluigi Zavattaro},
  title     = {Replication vs. Recursive Definitions in Channel Based Calculi},
  booktitle = {Proc. of ICALP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2719},
  year      = {2003},
  pages     = {133-144},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2719/27190133.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{CharatonikT01,
  author    = {Witold Charatonik and
               Jean-Marc Talbot},
  title     = {The Decidability of Model Checking Mobile Ambients},
  booktitle = {Proc. of CSL},
  year      = {2001},
  pages     = {339-354},
  publisher = {Springer},
  series    = lncs,
  volume    = {2142},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2142/21420339.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@InProceedings{DGPerez09,
author = {Cinzia {Di Giusto} and Jorge A. P{\'e}rez},
title = {Move vs Copy: Towards a Formal Comparision of Ambients and Higher-Order Process Calculi},
booktitle = {Proc. of ICTCS'09: the Eleventh Italian Conference on Theoretical Computer Science},
year = {2009},
}

@Unpublished{DiGiustoPZ-susp09,
author = {Cinzia {Di Giusto} and Jorge A. P{\'e}rez and Gianluigi Zavattaro},
title = {On the Expressiveness of Suspension in Higher-Order Process Calculi},
note = {In preparation},
year = {2009},
}

@Book{Barendregt84,
author = {Henk Barendregt},
title = {The Lambda Calculus: Its Syntax and Semantics},
publisher = {North-Holland},
year = {1984},
}

@inproceedings{HondaY-POPL94,
  author    = {Kohei Honda and
               Nobuko Yoshida},
  title     = {Combinatory Representation of Mobile Processes},
  booktitle = {Proc. of POPL'94},
  year      = {1994},
  publisher = {ACM},
  pages     = {348-360},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{HondaY94,
  author    = {Kohei Honda and
               Nobuko Yoshida},
  title     = {Replication in Concurrent Combinators},
  booktitle = {Proc. of TACS},
  year      = {1994},
  pages     = {786-805},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {789},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{CarboneM03,
  author    = {Marco Carbone and
               Sergio Maffeis},
  title     = {On the Expressive Power of Polyadic Synchronisation in pi-calculus},
  journal   = {Nord. J. Comput.},
  volume    = {10},
  number    = {2},
  year      = {2003},
  pages     = {70-98},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@article{VigliottiPP07,
  author    = {Maria Grazia Vigliotti and
               Iain Phillips and
               Catuscia Palamidessi},
  title     = {Tutorial on separation results in process calculi via leader
               election problems},
  journal   = {Theor. Comput. Sci.},
  volume    = {388},
  number    = {1-3},
  year      = {2007},
  pages     = {267-289},
  ee        = {http://dx.doi.org/10.1016/j.tcs.2007.09.001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@PhdThesis{VigliottiThesis04,
author = {Maria Grazia Vigliotti},
title = {Reduction semantics for ambient calculi},
school = {Imperial College London},
year = {2004},
}



@inproceedings{DufourdFS98,
  author    = {Catherine Dufourd and
               Alain Finkel and
               Ph. Schnoebelen},
  title     = {Reset Nets Between Decidability and Undecidability},
  booktitle = {Proc. of ICALP},
  year      = {1998},
  pages     = {103-115},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/1443/14430103.htm},
publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1443},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@Misc{Gigio09,
author = {Gianluigi Zavattaro},
howpublished = {Personal communication},
month = {March},
year = {2009},
}


@article{MaffeisP05,
  author    = {Sergio Maffeis and
               Iain Phillips},
  title     = {On the computational strength of pure ambient calculi},
  journal   = {Theor. Comput. Sci.},
  volume    = {330},
  number    = {3},
  year      = {2005},
  pages     = {501-551},
  ee        = {http://dx.doi.org/10.1016/j.tcs.2004.10.007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{ArandaGNV07,
  author    = {Jes{\'u}s Aranda and
               Cinzia Di Giusto and
               Mogens Nielsen and
               Frank D. Valencia},
  title     = {CCS with Replication in the Chomsky Hierarchy: The Expressive
               Power of Divergence},
  booktitle = {Proc. of APLAS},
  year      = {2007},
  pages     = {383-398},
  ee        = {http://dx.doi.org/10.1007/978-3-540-76637-7_26},
 publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4807},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@inproceedings{BusiZ00,
  author    = {Nadia Busi and
               Gianluigi Zavattaro},
  title     = {On the Expressiveness of Event Notification in Data-Driven
               Coordination Languages},
  booktitle = {Proc. of ESOP},
  year      = {2000},
  pages     = {41-55},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/1782/17820041.htm},
publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1782},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{BusiGZ00,
  author    = {Nadia Busi and
               Roberto Gorrieri and
               Gianluigi Zavattaro},
  title     = {On the Expressiveness of Linda Coordination Primitives},
  journal   = {Inf. Comput.},
  volume    = {156},
  number    = {1-2},
  year      = {2000},
  pages     = {90-121},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  note = {Full version of a paper in Proc. of EXPRESS'97},
}


@article{ShepherdsonS63,
  author    = {John C. Shepherdson and
               Howard E. Sturgis},
  title     = {Computability of Recursive Functions},
  journal   = {J. ACM},
  volume    = {10},
  number    = {2},
  year      = {1963},
  pages     = {217-255},
  ee        = {http://doi.acm.org/10.1145/321160.321170},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{EneM99,
  author    = {Cristian Ene and
               Traian Muntean},
  title     = {Expressiveness of Point-to-Point versus Broadcast Communications},
  booktitle = {Proc. of FCT},
 publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1684},
  year      = {1999},
  pages     = {258-268},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/1684/16840258.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@TechReport{GorlaTR06,
author = {Daniele Gorla},
title = {Comparing calculi for mobility via their relative expressive power},
institution = {Dipartimento di Informatica, Universita di Roma - La Sapienza},
year = {2006},
number = {09/2006},
}



@article{AbadiG99,
  author    = {Mart\'{\i}n Abadi and
               Andrew D. Gordon},
  title     = {A Calculus for Cryptographic Protocols: The spi Calculus},
  journal   = {Inf. Comput.},
  volume    = {148},
  number    = {1},
  year      = {1999},
  pages     = {1-70},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{Priami95,
  author    = {Corrado Priami},
  title     = {Stochastic pi-Calculus},
  journal   = {Comput. J.},
  volume    = {38},
  number    = {7},
  year      = {1995},
  pages     = {578-589},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@PhdThesis{Aranda09,
author = {Jes\'{u}s A. Aranda},
title = {On the Expressivity of Infinite and Local Behaviour in Fragments of the Pi-calculus},
school = {\'{E}cole Polytechnique de Paris and Universidad del Valle Colombia},
year = {2009},
month = {November},
}


@article{BusiZ09,
  author    = {Nadia Busi and
               Claudio Zandron},
  title     = {Computational expressiveness of Genetic Systems},
  journal   = {Theor. Comput. Sci.},
  volume    = {410},
  number    = {4-5},
  year      = {2009},
  pages     = {286-293},
  ee        = {http://dx.doi.org/10.1016/j.tcs.2008.09.041},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@Unpublished{DiGiustoPZ09,
author = {Cinzia {Di Giusto} and
               Jorge A. P{\'e}rez and
               Gianluigi Zavattaro},
title = {On the Expressiveness of Suspension in Higher-Order Process Calculi},
note = {In preparation},
year = {2009},
}


@article{CacciagranoCP07,
  author    = {Diletta Cacciagrano and
               Flavio Corradini and
               Catuscia Palamidessi},
  title     = {Separation of synchronous and asynchronous communication
               via testing},
  journal   = {Theor. Comput. Sci.},
  volume    = {386},
  number    = {3},
  year      = {2007},
  pages     = {218-235},
  ee        = {http://dx.doi.org/10.1016/j.tcs.2007.07.009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{NicolaH84,
  author    = {Rocco {De Nicola} and
               Matthew Hennessy},
  title     = {Testing Equivalences for Processes},
  journal   = {Theor. Comput. Sci.},
  volume    = {34},
  year      = {1984},
  pages     = {83-133},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{QuagliaW05,
  author    = {Paola Quaglia and
               David Walker},
  title     = {Types and full abstraction for polyadic pi-calculus},
  journal   = {Inf. Comput.},
  volume    = {200},
  number    = {2},
  year      = {2005},
  pages     = {215-246},
  ee        = {http://dx.doi.org/10.1016/j.ic.2005.03.004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@PhdThesis{Meyer08,
author = {Roland Meyer},
title = {Structural Stationarity in the pi-Calculus},
school = {Department of Computing Science, University of Oldenburg},
year = {2008},
}



@article{AmadioCS98,
  author    = {Roberto M. Amadio and
               Ilaria Castellani and
               Davide Sangiorgi},
  title     = {On Bisimulations for the Asynchronous pi-Calculus},
  journal   = {Theor. Comput. Sci.},
  volume    = {195},
  number    = {2},
  year      = {1998},
  pages     = {291-324},
  ee        = {http://dx.doi.org/10.1016/S0304-3975(97)00223-5},
  bibsource = {DBLP, http://dblp.uni-trier.de},
}

@PhdThesis{Moller88,
  author = 	 {Faron Moller},
  title = {Axioms for Concurrency},
  school = 	 {University of Edinburgh, Dept. of Comp. Sci.},
  year = 	 {1989},
  note = {{PhD} thesis  {CST}--59--89},
}

@Article{db,
  author = 	 {De Bruijn, Nicolaas Govert},
  title = 	 {Lambda Calculus Notation with Nameless Dummies: A Tool for Automatic Formula Manipulation, with Application to the Church-Rosser Theorem},
  journal = 	 { Indagationes Mathematicae},
  year = 	 {1972},
  OPTkey = 	 {},
  volume = 	 {34},
  OPTnumber = 	 {},
  pages = 	 {381--392},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}


@TechReport{Milner93,
author = {Robin Milner},
title = {{The Polyadic pi-Calculus: A Tutorial}},
institution = {University of Edinburgh},
year = {1991},
OPTkey = {},
OPTtype = {},
number = {ECS-LFCS-91-180},
OPTaddress = {},
OPTmonth = {},
OPTnote = {},
OPTannote = {},
OPTurl = {},
OPTdoi = {},
OPTissn = {},
OPTlocalfile = {},
OPTabstract = {}
}

@inproceedings{Lanese07,
  author    = {Ivan Lanese},
  title     = {Concurrent and Located Synchronizations in {\it pi}-Calculus},
  booktitle = {Proc. of SOFSEM},
  year      = {2007},
  pages     = {388-399},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4362},
  ee        = {http://dx.doi.org/10.1007/978-3-540-69507-3_33},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{NeculaL98,
  author    = {George C. Necula and
               Peter Lee},
  title     = {Safe, Untrusted Agents Using Proof-Carrying Code},
  booktitle = {Mobile Agents and Security},
  series    = {Lecture Notes in Computer Science},
  volume    = {1419},
  year      = {1998},
  publisher = {Springer},
  pages     = {61-91},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/1419/14190061.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{CollbergTL98, 
  author    = {Christian S. Collberg and
               Clark D. Thomborson and
               Douglas Low},
  title     = {Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs},
  booktitle = {Proc. of POPL'98},
  year      = {1998},
publisher = {{ACM} {P}ress},
  pages     = {184-196},
  ee        = {http://doi.acm.org/10.1145/268946.268962},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{FinkelS01,
  author    = {Alain Finkel and
               Ph. Schnoebelen},
  title     = {Well-structured transition systems everywhere!},
  journal   = {Theor. Comput. Sci.},
  volume    = {256},
  number    = {1-2},
  year      = {2001},
  pages     = {63-92},
  ee        = {http://dx.doi.org/10.1016/S0304-3975(00)00102-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@Article{Bravetti09,
  author = 	 {Mario Bravetti and Gianluigi Zavattaro},
  title = 	 {On the Expressive Power of Process Interruption and Compensation},
  journal = 	 mscs,
  year = 	 {2009},
volume = {19},
number = {3},
pages = {565--599},
  doi = {10.1017/S0960129509007683},
 }


@article{Finkel90,
  author    = {Alain Finkel},
  title     = {Reduction and covering of infinite reachability trees},
  journal   = {Inf. Comput.},
  volume    = {89},
  number    = {2},
  year      = {1990},
  pages     = {144-179},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{AbdullaCJT00,
  author    = {Parosh Aziz Abdulla and
               Karlis Cerans and
               Bengt Jonsson and
               Yih-Kuen Tsay},
  title     = {Algorithmic Analysis of Programs with Well Quasi-ordered
               Domains},
  journal   = {Inf. Comput.},
  volume    = {160},
  number    = {1-2},
  year      = {2000},
  pages     = {109-127},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{BusiZ04,
  author    = {Nadia Busi and
               Gianluigi Zavattaro},
  title     = {On the expressive power of movement and restriction in pure
               mobile ambients},
  journal   = {Theor. Comput. Sci.},
  volume    = {322},
  number    = {3},
  year      = {2004},
  pages     = {477-515},
  ee        = {http://dx.doi.org/10.1016/j.tcs.2003.10.040},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@TechReport{KoutavasH09,
author = {Vasileios Koutavas and Matthew Hennessy},
title = {First-Order Reasoning for Higher-Order Concurrency},
institution = {Trinity College Dublin},
year = {2009},
month = {July},
}


@inproceedings{LengletSS09,
  author    = {Sergue\"{\i} Lenglet and
               Alan Schmitt and
               Jean-Bernard Stefani},
  title     = {Howe's Method for Calculi with Passivation},
  booktitle = {Proc. of CONCUR},
  year      = {2009},
  pages     = {448-462},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5710},
  
}

@inproceedings{LengletSS09-F,
  author    = {Sergue\"{\i} Lenglet and
               Alan Schmitt and
               Jean-Bernard Stefani},
  title     = {Normal Bisimulations in Calculi with Passivation},
  booktitle = {Proc. of FOSSACS},
  year      = {2009},
  pages     = {257-271},
 publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5504},
}

@Article{Higman52,
  author = 	 {Graham Higman},
  title = 	 {Ordering by divisibility in abstract algebras},
  journal = 	 {Proceedings of the London Mathematical Society (3)},
  year = 	 {1952},
  volume = 	 {2},
  number = 	 {7},
  pages = 	 {326--336},
  Tmonth = 	 {Sep},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@TECHREPORT{HilBun04,
  author = {Hildebrandt, Thomas and Godskesen, Jens Chr. and Bundgaard, Mikkel},
  title = {Bisimulation Congruences for {H}omer --- a Calculus of Higher Order Mobile Embedded Resources},
  institution = {IT University of Copenhagen},
  year = 2004,
  number = {TR-2004-52},
  pdf = {http://itu.dk/people/mikkelbu/papers/ITU-TR-2004-52.pdf},
  abstract = {We extend Howe's method for proving that late labelled
             transition bisimulations are congruences to a core
             process passing calculus with local names, extended with
             non-linear active process mobility and nested locations,
             as found in the Seal calculus, M-calculus, and
             Kell-calculus. The calculus we consider, called Homer for
             Higher-order Mobile Embedded Resources, has a very simple
             syntax and semantics, which conservatively extend the
             standard syntax and semantics for process passing
             calculi. The extension of Howe's method gives a sound
             characterisation of barbed bisimulation congruence in
             terms of a late contextual bisimulation. We show that
             early contextual bisimulation is complete with respect to
             barbed bisimulation congruence, but that the late
             bisimulation is in fact strictly included in the early
             bisimulation. We discuss the issue of scope extension
             through location boundaries in detail, in particular the
             difference between fresh name generation and static local
             names. We propose free name extension as a primitive
             construct in calculi with non-linear process mobility,
             explicit locations and local names.}
}


@PhdThesis{Reppy92,
author = {John H. Reppy},
title = {Higher-Order Concurrency},
school = {Cornell University},
year = {1992},
}



@InProceedings{Milner06,
author = {Robin Milner},
title = {Scientific Foundation for Global Computing},
booktitle = {Trans. on Comput. Syst. Biol. IV},
pages = {1--13},
year = {2006},
editor = {C. Priamo},
volume = {3939},
series = {LNBI},
publisher = {Springer},
}



@inproceedings{HondaVK98,
  author    = {Kohei Honda and
               Vasco Thudichum Vasconcelos and
               Makoto Kubo},
  title     = {Language Primitives and Type Discipline for Structured Communication-Based
               Programming},
  booktitle = {Proc. of ESOP},
  year      = {1998},
  pages     = {122-138},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1381},
}



@article{Walker95,
  author    = {David Walker},
  title     = {Objects in the pi-Calculus},
  journal   = {Inf. Comput.},
  volume    = {116},
  number    = {2},
  year      = {1995},
  pages     = {253-271},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{Milner92,
  author    = {Robin Milner},
  title     = {Functions as Processes},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {2},
  number    = {2},
  year      = {1992},
  pages     = {119-141},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{MascoloZE02,
  author    = {Cecilia Mascolo and
               Luca Zanolin and
               Wolfgang Emmerich},
  title     = {XMILE: An XML Based Approach for Incremental Code Mobility
               and Update},
  journal   = {Autom. Softw. Eng.},
  volume    = {9},
  number    = {2},
  year      = {2002},
  pages     = {151-165},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@Book{SanBook09,
author = {Davide Sangiorgi},
title = {An introduction to bisimulation and coinduction},
publisher = {Draft},
year = {2009},
}

@article{Palamidessi05,
  author    = {Catuscia Palamidessi and
               Frank D. Valencia},
  title     = {Recursion vs Replication in Process Calculi: Expressiveness},
  journal   = {Bulletin of the EATCS},
  volume    = {87},
  year      = {2005},
  pages     = {105-125},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@Article{Busi09,
  author    = {Nadia Busi and
               Maurizio Gabbrielli and
               Gianluigi Zavattaro},
  title     = {On the expressive power of recursion, replication and iteration
               in process calculi},
  journal   = mscs,
  volume    = {19},
  number    = {6},
  year      = {2009},
  pages     = {1191-1222},

  }


@InProceedings{SatoSumii09,
author = {Nobuyuki Sato and Eijiro Sumii},
title = {The Higher-Order, Call-By-Value Applied Pi-Calculus},
booktitle = {Proc. of APLAS'09: the Seventh Asian Symposium on Programming Languages and Systems},
year = {2009},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
note = {To Appear},
}




@Misc{Baeten91,
author = {J.C.M. Baeten and J.A. Bergstra and C.A.R. Hoare and  R. Milner and  J. Parrow and R. de Simone},
title = {The variety of process algebra},
howpublished = {Deliverable ESPRIT Basic Research Action 3006, CONCUR},
year = {1991},
}


@inproceedings{Smith96,
  author    = {Einar Smith},
  title     = {Principles of High-Level Net Theory},
  booktitle = {Lectures on Petri Nets I: Basic Models, Advances in Petri
               Nets, the volumes are based on the Advanced Course on Petri
               Nets, held in Dagstuhl, September 1996},
  year      = {1998},
  pages     = {174-210},
publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1491},

}


@article{Baeten05,
  author    = {Jos C. M. Baeten},
  title     = {A brief history of process algebra},
  journal   = {Theor. Comput. Sci.},
  volume    = {335},
  number    = {2-3},
  year      = {2005},
  pages     = {131-146},
  ee        = {http://dx.doi.org/10.1016/j.tcs.2004.07.036},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{CastagnaVN05,
  author    = {Giuseppe Castagna and
               Jan Vitek and
               Francesco {Zappa Nardelli}},
  title     = {The Seal Calculus},
  journal   = {Inf. Comput.},
  volume    = {201},
  number    = {1},
  year      = {2005},
  pages     = {1-54},
  ee        = {http://dx.doi.org/10.1016/j.ic.2004.11.005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{CardelliG00,
  author    = {Luca Cardelli and
               Andrew D. Gordon},
  title     = {Mobile ambients},
  journal   = {Theor. Comput. Sci.},
  volume    = {240},
  number    = {1},
  year      = {2000},
  pages     = {177-213},
  ee        = {http://dx.doi.org/10.1016/S0304-3975(99)00231-5},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  note = {A preliminary version appeared in Proc. of FOSSACS'98},
}


@inproceedings{Reppy91,
  author    = {John H. Reppy},
  title     = {{CML}: A Higher-Order Concurrent Language},
  booktitle = {PLDI},
  year      = {1991},
  pages     = {293-305},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{Smolka94,
  author    = {Gert Smolka},
  title     = {A Foundation for Higher-order Concurrent Constraint Programming},
  booktitle = {Proc. of CCL},
  year      = {1994},
  pages     = {50-72},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {845},
}


@article{Boudol98,
  author    = {G{\'e}rard Boudol},
  title     = {The pi-Calculus in Direct Style},
  journal   = {Higher-Order and Symbolic Computation},
  volume    = {11},
  number    = {2},
  year      = {1998},
  pages     = {177-208},
  note = {A preliminary version appeared in Proc. of POPL'97},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@TechReport{SchmittS02TR,
author = {Alan Schmitt and Jean-Bernard Stefani},
title = {The M-calculus: a higher-order distributed process calculus},
institution = {INRIA},
year = {2002},
number = {4361},
month = {Jan},
}


@article{NicolaGP06,
  author    = {Rocco {De Nicola} and
               Daniele Gorla and
               Rosario Pugliese},
  title     = {On the expressive power of KLAIM-based calculi},
  journal   = {Theor. Comput. Sci.},
  volume    = {356},
  number    = {3},
  year      = {2006},
  pages     = {387-421},
  ee        = {http://dx.doi.org/10.1016/j.tcs.2006.02.007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{Parrow08,
  author    = {Joachim Parrow},
  title     = {Expressiveness of Process Algebras},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {209},
  year      = {2008},
  pages     = {173--186}
}

@inproceedings{Gorla08,
  author    = {Daniele Gorla},
  title     = {Towards a Unified Approach to Encodability and Separation
               Results for Process Calculi},
  booktitle = {Proc. of CONCUR},
  year      = {2008},
  pages     = {492-507},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5201},
  ee        = {http://dx.doi.org/10.1007/978-3-540-85361-9_38},
  note = {Extended version available as Tech. Rep. 10/2008, Dip. Informatica, Universita di Roma - La Sapienza},
}


@inproceedings{Palamidessi97,
  author    = {Catuscia Palamidessi},
  title     = {Comparing the Expressive Power of the Synchronous and the
               Asynchronous pi-calculus},
  booktitle = {Proc. of POPL'97},
publisher = {ACM},
  year      = {1997},
  pages     = {256-265},
  ee        = {http://doi.acm.org/10.1145/263699.263731},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Palamidessi03,
  author    = {Catuscia Palamidessi},
  title     = {Comparing The Expressive Power Of The Synchronous And Asynchronous
               Pi-Calculi},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {13},
  number    = {5},
  year      = {2003},
  pages     = {685-719},
  note = {Extended abstract in Proc. of POPL'97},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{NestmannP96,
  author    = {Uwe Nestmann and
               Benjamin C. Pierce},
  title     = {Decoding Choice Encodings},
  booktitle = {Proc. of CONCUR},
  year      = {1996},
  pages     = {179-194},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1119},
}


@article{NestmannP00,
  author    = {Uwe Nestmann and
               Benjamin C. Pierce},
  title     = {Decoding Choice Encodings},
  journal   = {Inf. Comput.},
  volume    = {163},
  number    = {1},
  year      = {2000},
  pages     = {1-59},
  note =      {Extended abstract in Proc. of CONCUR'96}, 
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Nestmann00,
  author    = {Uwe Nestmann},
  title     = {What is a "Good" Encoding of Guarded Choice?},
  journal   = {Inf. Comput.},
  volume    = {156},
  number    = {1-2},
  year      = {2000},
  pages     = {287-319},
  note      = {A preliminary version appeared in EXPRESS'97},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Nestmann97,
  author    = {Uwe Nestmann},
  title     = {What is a `good' encoding of guarded choice?},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {7},
  year      = {1997},
  ee        = {http://www.elsevier.com/gej-ng/31/29/23/33/23/show/Products/notes/index.htt\#014},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@InProceedings{Demangeon09,
author    = {Romain Demangeon and
               Daniel Hirschkoff and
               Davide Sangiorgi},
  title     = {Termination in Higher-Order Concurrent Calculi},
  booktitle = {Proc. of FSEN'09},
  pages     = {81-96},
  series    = {Lecture Notes in Computer Science},
  volume    = {5961},
  year      = {2010},
  publisher = {Springer},
}


@inproceedings{BeauxisPV08,
  author    = {Romain Beauxis and
               Catuscia Palamidessi and
               Frank D. Valencia},
  title     = {On the Asynchronous Nature of the Asynchronous pi-Calculus},
  booktitle = {Concurrency, Graphs and Models},
  year      = {2008},
  pages     = {473-492},
  ee        = {http://dx.doi.org/10.1007/978-3-540-68679-8_29},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5065},
  isbn      = {978-3-540-68676-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{LaneveV99,
  author    = {Cosimo Laneve and  Bj{\"o}rn Victor},
  title     = {Solos in Concert},
  booktitle = {Proc. of ICALP},
  year      = {1999},
  pages     = {513-523},
  ee        = {http://dx.doi.org/10.1007/3-540-48523-6_48},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1644},
  isbn      = {3-540-66224-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{RajaS97,
  author    = {N. Raja and
               R. K. Shyamasundar},
  title     = {Combinatory Formaulations of Concurrent Languages},
  journal   = {ACM Trans. Program. Lang. Syst.},
  volume    = {19},
  number    = {6},
  year      = {1997},
  pages     = {899-915},
  ee        = {http://doi.acm.org/10.1145/267959.269967},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{RajaS95,
  author    = {N. Raja and
               R. K. Shyamasundar},
  title     = {Combinatory Formulations of Concurrent Languages},
  booktitle = {Proc. of ASIAN},
  year      = {1995},
  pages     = {156-170},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1023},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{RajaS95Quine,
  author    = {N. Raja and
               R. K. Shyamasundar},
  title     = {The Quine-Bernays Combinatory Calculus},
  journal   = {Int. J. Found. Comput. Sci.},
  volume    = {6},
  number    = {4},
  year      = {1995},
  pages     = {417-430},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@PhdThesis{Nestmann96,
author = {Uwe Nestmann},
title = {On Determinacy and and Nondeterminacy in Concurrent Programming},
school = {Univ. Erlangen},
year = {1996},
}



@inproceedings{FournetGLMR96,
  author    = {C{\'e}dric Fournet and
               Georges Gonthier and
               Jean-Jacques L{\'e}vy and
               Luc Maranget and
               Didier R{\'e}my},
  title     = {A Calculus of Mobile Agents},
  booktitle = {Proc. of CONCUR},
  year      = {1996},
  pages     = {406-421},
  series    = {Lecture Notes in Computer Science},
  volume    = {1119},
publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@InProceedings{Abramsky89,
author = {Samson Abramsky},
booktitle = {Research Topics in Functional
Programming},
title = {The lazy lambda calculus},
publisher = {Addison Wesley, Reading, MA.},
year = {1989},
pages = {65--116},
editor = {D. Turner},
}



@InProceedings{Boudol84,
author = {Gerard Boudol},
title = {Notes on Algebraic Calculi of Processes},
booktitle = {Proc. of Advanced Course Logics and Models for Verification and Specification of Concurrent Systems},
year = {1984},
editor = {K. R. Apt},
series = {NATO ASI Series F13},
publisher = {Springer-Verlag},
}


@InProceedings{,
author = {},
title = {},
booktitle = {},
OPTcrossref = {},
OPTkey = {},
OPTpages = {},
OPTyear = {},
OPTeditor = {},
OPTvolume = {},
OPTnumber = {},
OPTseries = {},
OPTaddress = {},
OPTmonth = {},
OPTorganization = {},
OPTpublisher = {},
OPTnote = {},
OPTannote = {},
OPTurl = {},
OPTdoi = {},
OPTissn = {},
OPTlocalfile = {},
OPTabstract = {}
}

@TechReport{Gonthier85,
title={{A}lgebraic calculi of processes and net expressions},
author={{G}onthier, {G}eorges},
institution = {INRIA},
year = {1985},
number = {RR-367},
}



@inproceedings{Parrow00,
  author    = {Joachim Parrow},
  title     = {Trios in concert},
  booktitle = {Proof, Language, and Interaction},
  year      = {2000},
  pages     = {623-638},
  publisher = {The MIT Press},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@article{LaneveV03,
  author    = {Cosimo Laneve and
               Bj{\"o}rn Victor},
  title     = {Solos In Concert},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {13},
  number    = {5},
  year      = {2003},
  pages     = {657-683},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Yoshida02,
  author    = {Nobuko Yoshida},
  title     = {Minimality and separation results on asynchronous mobile
               processes - representability theorems by concurrent combinators},
  journal   = {Theor. Comput. Sci.},
  volume    = {274},
  number    = {1-2},
  year      = {2002},
  pages     = {231-276},
  ee        = {http://dx.doi.org/10.1016/S0304-3975(00)00310-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{Parrow90,
 author = {Joachim Parrow},
 title = {The expressive power of parallelism},
 journal = {Future Gener. Comput. Syst.},
 volume = {6},
 number = {3},
 year = {1990},
 issn = {0167-739X},
 pages = {271--285},
 doi = {http://dx.doi.org/10.1016/0167-739X(90)90024-8},
 publisher = {Elsevier Science Publishers B. V.},
 address = {Amsterdam, The Netherlands, The Netherlands},
 }


@inproceedings{Meira89,
  author    = {Silvio Lemos Meira},
  title     = {Processes and Functions},
  booktitle = {Proc. of TAPSOFT, Vol.2},
  year      = {1989},
  pages     = {286-297},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {352}
}



@inproceedings{JagadeesanP90,
  author    = {Radha Jagadeesan and
               Prakash Panangaden},
  title     = {A Domain-Theoretic Model for a Higher-Order Process Calculus},
  booktitle = {Proc. of ICALP},
  year      = {1990},
  pages     = {181-194},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {443}
}




@inproceedings{Bloom94,
  author    = {Bard Bloom},
  title     = {CHOCOLATE: Calculi of Higher Order COmmunication and LAmbda
               TErms},
  booktitle = {Proc. of POPL'94},
publisher = {ACM},
  year      = {1994},
  pages     = {339-347},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Simone85,
  author    = {Robert de Simone},
  title     = {Higher-Level Synchronising Devices in Meije-SCCS},
  journal   = {Theor. Comput. Sci.},
  volume    = {37},
  year      = {1985},
  pages     = {245-267},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{DsouzaB95,
  author    = {Ashvin Dsouza and
               Bard Bloom},
  title     = {On the Expressive Power of CCS},
  booktitle = {Proc. of FSTTCS},
  year      = {1995},
  pages     = {309-323},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1026},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{Vaandrager92,
  author    = {Frits W. Vaandrager},
  title     = {Expressive Results for Process Algebras},
  booktitle = {Proc. of REX Workshop on `Semantics: Foundations and Application'},
  year      = {1992},
  pages     = {609-638},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {666},
  note = {Also available as CWI Report CS-R9301, 1993},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{Bouge88,
  author    = {Luc Boug{\'e}},
  title     = {On the Existence of Symmetric Algorithms to Find Leaders
               in Networks of Communicating Sequential Processes},
  journal   = {Acta Inf.},
  volume    = {25},
  number    = {2},
  year      = {1988},
  pages     = {179-201},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{BoerP91,
  author    = {Frank S. de Boer and
               Catuscia Palamidessi},
  title     = {Embedding as a Tool for Language Comparison: On the CSP
               Hierarchy},
  booktitle = {Proc. of CONCUR},
  year      = {1991},
  pages     = {127-141},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {527},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{MilnerPW92a,
  author    = {Robin Milner and
               Joachim Parrow and
               David Walker},
  title     = {A Calculus of Mobile Processes, I},
  journal   = {Inf. Comput.},
  volume    = {100},
  number    = {1},
  year      = {1992},
  pages     = {1-40},
  bibsource = {DBLP, http://dblp.uni-trier.de}, 
  note = {A preliminary version appeared as Technical Report ECS-LFCS-89-85, LFCS, University of Edinburgh, June 1989}
}

@article{Thomsen93,
  author    = {Bent Thomsen},
  title     = {Plain CHOCS: A Second Generation Calculus for Higher Order
               Processes},
  journal   = {Acta Inf.},
  volume    = {30},
  number    = {1},
  year      = {1993},
  pages     = {1-59},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{Thomsen95,
  author    = {Bent Thomsen},
  title     = {A Theory of Higher Order Communicating Systems},
  journal   = {Inf. Comput.},
  volume    = {116},
  number    = {1},
  year      = {1995},
  pages     = {38-57},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  note = {Extended version of \cite{Tho89}}
}


@article{BundgaardH06,
  author    = {Mikkel Bundgaard and
               Thomas T. Hildebrandt},
  title     = {Bigraphical Semantics of Higher-Order Mobile Embedded Resources
               with Local Names},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {154},
  number    = {2},
  year      = {2006},
  pages     = {7-29},
  ee        = {http://dx.doi.org/10.1016/j.entcs.2005.03.029},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{BundgaardGHHN08,
  author    = {Mikkel Bundgaard and
               Arne J. Glenstrup and
               Thomas T. Hildebrandt and
               Espen H{\o}jsgaard and
               Henning Niss},
  title     = {Formalizing Higher-Order Mobile Embedded Business Processes
               with Binding Bigraphs},
  booktitle = {Proc. of COORDINATION},
  pages     = {83-99},
  ee        = {http://dx.doi.org/10.1007/978-3-540-68265-3_6},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5052},
  year      = {2008},
  isbn      = {978-3-540-68264-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{RadestockE96,
  author    = {Matthias Radestock and
               Susan Eisenbach},
  title     = {Semantics of a Higher-Order Coordination Language},
  booktitle = {Proc. of COORDINATION},
  year      = {1996},
  pages     = {339-356},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1061},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{Nielson89,
  author    = {Flemming Nielson},
  title     = {The Typed lambda-Calculus with First-Class Processes},
  booktitle = {Proc. of PARLE (2)},
  pages     = {357-373},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {366},
  year      = {1989},
  isbn      = {3-540-51285-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{GiacaloneMP89,
  author    = {Alessandro Giacalone and
               Prateek Mishra and
               Sanjiva Prasad},
  title     = {FACILE: A Symmetric Integration of Concurrent and Functional
               Programming},
  booktitle = {Proc. of TAPSOFT, Vol.2},
  pages     = {184-209},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {352},
  year      = {1989},
  isbn      = {3-540-50940-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{PrasadGM90,
  author    = {Sanjiva Prasad and
               Alessandro Giacalone and
               Prateek Mishra},
  title     = {Operational and Algebraic Semantics for Facile: A Symmetric
               Integration of Concurrent and Functional Programming},
  booktitle = {Proc. of ICALP},
  year      = {1990},
  pages     = {765-778},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {443},
  isbn      = {3-540-52826-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}




@inproceedings{MaffeisAFG08,
  author    = {Sergio Maffeis and
               Mart\'{\i}n Abadi and
               C{\'e}dric Fournet and
               Andrew D. Gordon},
  title     = {Code-Carrying Authorization},
  booktitle = {Proc. of ESORICS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5283},
  year      = {2008},
  pages     = {563-579},
  ee        = {http://dx.doi.org/10.1007/978-3-540-88313-5_36},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@inproceedings{Yoshida04,
  author    = {Nobuko Yoshida},
  title     = {Channel dependent types for higher-order mobile processes},
  booktitle = {Proc. of POPL'04},
  year      = {2004},
  pages     = {147-160},
  ee        = {http://doi.acm.org/10.1145/964001.964014},
  publisher = {ACM},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Janneck02,
 author = {Janneck, J\"{o}rn W. and Esser, Robert},
 title = {Higher-order petri net modelling: techniques and applications},
 booktitle = {CRPIT '02: Proceedings of the conference on Application and theory of petri nets},
 year = {2002},
 isbn = {0-909-92590-9},
 pages = {17--25},
 location = {Adelaide, Australia},
 publisher = {Australian Computer Society, Inc.},
 address = {Darlinghurst, Australia, Australia},
 }


@inproceedings{HoffmannM02,
  author    = {Kathrin Hoffmann and
               Till Mossakowski},
  title     = {Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens},
  booktitle = {Proc. of WADT},
  year      = {2002},
  pages     = {253-267},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2755{\&}spage=253},
publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2755},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{OstrovskyPT02,
  author    = {Karol Ostrovsky and
               K. V. S. Prasad and
               Walid Taha},
  title     = {Towards a primitive higher order calculus of broadcasting
               systems},
  booktitle = {Proc. of PPDP},
  year      = {2002},
publisher = {ACM},
  pages     = {2-13},
  ee        = {http://doi.acm.org/10.1145/571157.571159},
  crossref  = {DBLP:conf/ppdp/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@article{BundgaardGHH09,
  author    = {Mikkel Bundgaard and
               Jens Chr. Godskesen and
               Bj{\o}rn Haagensen and
               Hans H{\"u}ttel},
  title     = {Decidable Fragments of a Higher Order Calculus with Locations},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {242},
  number    = {1},
  year      = {2009},
  pages     = {113-138},
  ee        = {http://dx.doi.org/10.1016/j.entcs.2009.06.016},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{MeredithR05,
  author    = {L. Gregory Meredith and
               Matthias Radestock},
  title     = {A Reflective Higher-order Calculus},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {141},
  number    = {5},
  year      = {2005},
  pages     = {49-67},
  ee        = {http://dx.doi.org/10.1016/j.entcs.2005.05.016},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{MeredithR05-2,
  author    = {L. Gregory Meredith and
               Matthias Radestock},
  title     = {Namespace Logic: A Logic for a Reflective Higher-Order Calculus},
  booktitle = {Proc. of TGC},
  year      = {2005},
  pages     = {353-369},
  ee        = {http://dx.doi.org/10.1007/11580850_19},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3705},
  bibsource = {DBLP, http://dblp.uni-trier.de}}


@article{YoshidaH02,
  author    = {Nobuko Yoshida and Matthew Hennessy},
  title     = {Assigning Types to Processes},
  journal   = {Inf. Comput.},
  volume    = {174},
  number    = {2},
  year      = {2002},
  pages     = {143-179},
  ee        = {http://www.idealibrary.com/links/doi/10.1006/inco.2002.3113},
  bibsource = {DBLP, http://dblp.uni-trier.de},
}


@inproceedings{YoshidaH00,
  author    = {Nobuko Yoshida and
               Matthew Hennessy},
  title     = {Assigning Types to Processes},
  booktitle = {Proc. of LICS'00},
  year      = {2000},
  pages     = {334-345},
  ee        = {http://www.computer.org/proceedings/lics/0725/07250334abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{HennessyR02,
  author    = {Matthew Hennessy and
               James Riely},
  title     = {Resource Access Control in Systems of Mobile Agents},
  journal   = {Inf. Comput.},
  volume    = {173},
  number    = {1},
  year      = {2002},
  pages     = {82-120},
  ee        = {http://www.idealibrary.com/links/doi/10.1006/inco.2001.3089},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@PhdThesis{Vivas01,
author = {Jos{\'e}-Luis Vivas},
title = {{Dynamic Binding of Names in Calculi for Mobile Processes}},
school = {KTH - Royal Instituye of Technology},
year = {2001},
OPTkey = {},
OPTtype = {},
OPTaddress = {},
OPTmonth = {},
OPTnote = {},
OPTannote = {},
OPTurl = {},
OPTdoi = {},
OPTissn = {},
OPTlocalfile = {},
OPTabstract = {}
}

@article{VivasY02,
  author    = {Jos{\'e}-Luis Vivas and
               Nobuko Yoshida},
  title     = {Dynamic Channel Screening in the Higher Order pi-Calculus},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {66},
  number    = {3},
  year      = {2002},
  ee        = {http://www.elsevier.com/gej-ng/31/29/23/120/51/show/Products/notes/index.htt\#010},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  note      = {Extended version available as Technical Report 2002-22, MCS, University of Leicester}
}


@inproceedings{VivasD98,
  author    = {Jos{\'e}-Luis Vivas and
               Mads Dam},
  title     = {From Higher-Order pi-Calculus to pi-Calculus in the Presence
               of Static Operators},
  booktitle = {Proc. of CONCUR},
  year      = {1998},
 publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1466},
  pages     = {115-130},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/1466/14660115.htm},
  }


@inproceedings{AmadioD95,
  author    = {Roberto M. Amadio and               Mads Dam},
  title     = {Reasoning about Higher-Order Processes},
  booktitle = {Proc. of TAPSOFT},
  year      = {1995},
  pages     = {202-216},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {915},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@TechReport{Amadio94,
author = {Roberto M. Amadio},
title = {Translating core facile},
institution = {ECRC, Munich},
year = {1994},
number = {ECRC-94-3},
}

@inproceedings{AmadioLT95,
  author    = {Roberto M. Amadio and Lone Leth and Bent Thomsen},
  title     = {From a Concurrent Lambda-Calculus to the Pi-Calculus},
  booktitle = {Proc. of FCT},
  year      = {1995},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {965},
  pages     = {106-115},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Amadio93,
  author    = {Roberto M. Amadio},
  title     = {On the Reduction of Chocs Bisimulation to pi-Calculus Bisimulation},
  booktitle = {Proc. of CONCUR},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {715},
  year      = {1993},
  pages     = {112-126},
  note  = {Extended version available in the author's web site},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{BoerP90,
  author    = {Frank S. de Boer and
               Catuscia Palamidessi},
  title     = {Concurrent Logic Programming: Asynchronism and Language
               Comparison},
  booktitle = {Proc. of NACLP},
  year      = {1990},
  publisher = {The MIT Press, Series in Logic Programming},
  pages     = {175-194},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{BoerP94,
  author    = {Frank S. de Boer and
               Catuscia Palamidessi},
  title     = {Embedding as a Tool for Language Comparison},
  journal   = {Inf. Comput.},
  volume    = {108},
  number    = {1},
  year      = {1994},
  pages     = {128-157},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@article{Mitchell93,
  author    = {John C. Mitchell},
  title     = {On Abstraction and the Expressive Power of Programming Languages},
  journal   = {Sci. Comput. Program.},
  volume    = {21},
  number    = {2},
  year      = {1993},
  pages     = {141-163},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{Ramesh92,
  author    = {Sethu Ramesh},
  title     = {Fully Abstract Semantics for Higher Order Communicating
               Systems},
  booktitle = {Proc. of MFCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {629},
  year      = {1992},
  isbn      = {3-540-55808-X},
  pages     = {463-471},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@article{Riecke93,
  author    = {Jon G. Riecke},
  title     = {Fully Abstract Translations Between Functional Languages},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {3},
  number    = {4},
  year      = {1993},
  pages     = {387-415},
  note = {A preliminary report appeared in Proc. of POPL'91},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Shapiro92,
  author    = {Ehud Y. Shapiro},
  title     = {Embeddings Among Concurrent Programming Languages (Preliminary
               Version)},
  booktitle = {Proc. of CONCUR},
  year      = {1992},
publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {630},
  pages     = {486-503},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@article{Shapiro89,
  author    = {Ehud Y. Shapiro},
  title     = {The Family of Concurrent Logic Programming Languages},
  journal   = {ACM Comput. Surv.},
  volume    = {21},
  number    = {3},
  year      = {1989},
  pages     = {413-510},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{Shapiro91,
  author    = {Ehud Y. Shapiro},
  title     = {Separating Concurrent Languages with Categories of Language
               Embeddings (Extended Abstract)},
  booktitle = {Proc. of STOC'91},
  year      = {1991},
  pages     = {198-208},
publisher = {ACM},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}




@article{Felleisen91,
  author    = {Matthias Felleisen},
  title     = {On the Expressive Power of Programming Languages},
  journal   = {Sci. Comput. Program.},
  volume    = {17},
  number    = {1-3},
  year      = {1991},
  pages     = {35-75},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  note = {A preliminary version appeared in Proc. of ESOP'90}
}


@article{ChandraM76,
  author    = {Ashok K. Chandra and
               Zohar Manna},
  title     = {On the Power of Programming Features},
  journal   = {Comput. Lang.},
  volume    = {1},
  number    = {3},
  year      = {1976},
  pages     = {219-232},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@Article{Landin66,
author = {P. J. Landin},
title = {{The Next 700 Programming Languages}},
journal = {Communications of the ACM},
year = {1966},
volume = {9},
number = {3},
pages = {157--166},
month = {March},
}


@article{LiL04,
  author    = {Yongjian Li and
               Xinxin Liu},
  title     = {Towards a Theory of Bisimulation for the Higher-Order Process
               Calculi},
  journal   = {J. Comput. Sci. Technol.},
  volume    = {19},
  number    = {3},
  year      = {2004},
  pages     = {352-363},
  ee        = {http://jcst.ict.ac.cn/cone/cone43.html\#paper9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{MousaviRG07,
  author    = {Mohammad Reza Mousavi and
               Michel A. Reniers and
               Jan Friso Groote},
  title     = {{SOS formats and meta-theory: 20 years after}},
  journal   = {Theor. Comput. Sci.},
  volume    = {373},
  number    = {3},
  year      = {2007},
  pages     = {238-272},
  }

@inproceedings{MousaviGR05,
  author    = {Mohammad Reza Mousavi and
               Murdoch Gabbay and
               Michel A. Reniers},
  title     = {{SOS for Higher Order Processes}},
  booktitle = {Proc. of CONCUR},
  year      = {2005},
publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3653},
  pages     = {308-322},
  ee        = {http://dx.doi.org/10.1007/11539452_25},
  isbn      = {3-540-28309-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{Bernstein98,
  author    = {Karen L. Bernstein},
  title     = {A Congruence Theorem for Structured Operational Semantics
               of Higher-Order Languages},
  booktitle = {Proc. of LICS'98},
  year      = {1998},
  pages     = {153-164},
 publisher = {{IEEE} Computer Society},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{LopezOP09,
  author    = {H. A. L\'opez and J. A. P\'erez and C. Olarte},
  title     = {Towards a Unified Framework for Declarative Structured Communications},
  journal   = {Electronic Proceedings in Theoretical Computer Science},
  note = {To appear.},
  year      = {2009},
}


@InProceedings{AP-iclp,
  author = 	 {J. Aranda and J. A. P\'erez and C. Rueda and  F. Valencia},
  title = 	 {Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming},
  year      = {2008},
  publisher = {Springer},
  editor    = {Maria Garcia de la Banda and
               Enrico Pontelli},
  booktitle     = {Logic Programming, 24th International Conference, ICLP 2008,
               Udine, Italy, December 9-13 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5366},
  pages     = {682-686},
}


@inproceedings{PerezR08,
  author    = {Jorge A. P{\'e}rez and
               Camilo Rueda},
  title     = {{Non-determinism and Probabilities in Timed Concurrent Constraint
               Programming}},
  year      = {2008},
  publisher = {Springer},
  editor    = {Maria Garcia de la Banda and
               Enrico Pontelli},
  booktitle     = {Logic Programming, 24th International Conference, ICLP 2008,
               Udine, Italy, December 9-13 2008, Proceedings},

  series    = {Lecture Notes in Computer Science},
  volume    = {5366},
  pages     = {677-681},
  ee        = {http://dx.doi.org/10.1007/978-3-540-89982-2_56},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  note = {An extended version is available at \url{http://www.japerez.phipages.com}}
}

@inproceedings{BuscemiS01,
  author    = {Maria Grazia Buscemi and
               Vladimiro Sassone},
  title     = {High-Level Petri Nets as Type Theories in the Join Calculus},
  booktitle = {Proc. of FoSSaCS},
  year      = {2001},
  pages     = {104-120},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2030/20300104.htm},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2030},
  isbn      = {3-540-41864-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{WinskelN04,
  author    = {Glynn Winskel and
               Francesco {Zappa Nardelli}},
  title     = {New-HOPLA: A Higher-order Process Language with Name Generation},
  booktitle = {Proc. of IFIP TCS},
  year      = {2004},
  pages     = {521-534},
  publisher = {Kluwer},
   isbn      = {1-4020-8140-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{NygaardW02,
  author    = {Mikkel Nygaard and
               Glynn Winskel},
  title     = {HOPLA-A Higher-Order Process Language},
  booktitle = {Proc. of CONCUR},
  year      = {2002},
  pages     = {434-448},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2421/24210434.htm},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2421},
  isbn      = {3-540-44043-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@inproceedings{YoshidaH99,
  author    = {Nobuko Yoshida and Matthew Hennessy},
  title     = {Suptyping and Locality in Distributed Higher Order Processes (extended abstract)},
  booktitle = {Proc. of CONCUR},
  year      = {1999},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1664},
  pages     = {557-572},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/1664/16640557.htm},

}





@inproceedings{SangiorgiKS07,
  author    = {Davide Sangiorgi and
               Naoki Kobayashi and
               Eijiro Sumii},
  title     = {Environmental Bisimulations for Higher-Order Languages},
  booktitle = {Proc. of LICS'07},
  year      = {2007},
  pages     = {293-302},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/LICS.2007.17},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  publisher = {IEEE Computer Society},
}

@inproceedings{Cao06,
  author    = {Zining Cao},
  title     = {More on Bisimulations for Higher Order {\it Pi}-Calculus},
  booktitle = {Proc. of FoSSaCS'06},
  year      = {2006},
  pages     = {63-78},
  ee        = {http://dx.doi.org/10.1007/11690634_5},
  bibsource = {DBLP, http://dblp.uni-trier.de}, 
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3921},
}

@inproceedings{Cao07,
  author    = {Zining Cao},
  title     = {Bisimulations for a Distributed Higher Order {\it Pi}-Calculus},
  booktitle = {Proc. of ICTAC},
  year      = {2007},
  pages     = {94-108},
  ee        = {http://dx.doi.org/10.1007/978-3-540-75292-9_7},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4711},

}

@article{BugliesiCMS05,
  author    = {Michele Bugliesi and
               Silvia Crafa and
               Massimo Merro and
               Vladimiro Sassone},
  title     = {Communication and mobility control in boxed ambients},
  journal   = {Inf. Comput.},
  volume    = {202},
  number    = {1},
  year      = {2005},
  pages     = {39-86},
  ee        = {http://dx.doi.org/10.1016/j.ic.2005.06.002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@TechReport{Mikkel08,
  author = 	 {Mikkel Bundgaard and Jens Chr. Godskesen and Thomas Hildebrandt},
  title = 	 {On Encoding the Pi-calculus in Higher-Order Calculi},
  institution =  {IT University of Copenhagen},
  year = 	 {2008},
  OPTkey = 	 {},
  OPTtype = 	 {},
  number = 	 {TR-2008-106},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@article{BundgaardHG06,
  author    = {Mikkel Bundgaard and
               Thomas T. Hildebrandt and
               Jens Chr. Godskesen},
  title     = {A CPS encoding of name-passing in Higher-order mobile embedded
               resources},
  journal   = {Theor. Comput. Sci.},
  volume    = {356},
  number    = {3},
  year      = {2006},
  pages     = {422-439},
  ee        = {http://dx.doi.org/10.1016/j.tcs.2006.02.006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@PhdThesis{Xu07,
  author = 	 {Xian Xu},
  title = 	 {On the Bisimulation Theory and Axiomatization
        of Higher-order Process Calculi},
  school = 	 {Shanghai Jiao Tong University},
  year = 	 {2007},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@inproceedings{PhillipsV04,
  author    = {Iain Phillips and
               Maria Grazia Vigliotti},
  title     = {Electoral Systems in Ambient Calculi},
  booktitle = {Proc. of FoSSaCS'04},
  year      = {2004},
  pages     = {408--422},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2987{\&}spage=408},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2987},
}

@article{PhillipsV08,
  author    = {Iain Phillips and
               Maria Grazia Vigliotti},
  title     = {Symmetric electoral systems for ambient calculi},
  journal   = {Inf. Comput.},
  volume    = {206},
  number    = {1},
  year      = {2008},
  pages     = {34-72},
  ee        = {http://dx.doi.org/10.1016/j.ic.2007.08.005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{KuceraJ06,
  author    = {Anton\'{\i}n Kucera and
               Petr Jancar},
  title     = {Equivalence-checking on infinite-state systems: Techniques
               and results},
  journal   = {TPLP},
  volume    = {6},
  number    = {3},
  year      = {2006},
  pages     = {227-264},
  ee        = {http://dx.doi.org/10.1017/S1471068406002651},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Jancar95,
  author    = {Petr Jancar},
  title     = {Undecidability of Bisimilarity for Petri Nets and Some Related
               Problems},
  journal   = {Theor. Comput. Sci.},
  volume    = {148},
  number    = {2},
  year      = {1995},
  pages     = {281-301},
  ee        = {http://dx.doi.org/10.1016/0304-3975(95)00037-W},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@Book{Sipser05,
  author = 	 {Michael Sipser},
  title = 	 {Introduction to the Theory of Computation},
  publisher = 	 {PWS Publishing Company},
  year = 	 {2005},
}

@inproceedings{Schnoebelen01,
  author    = {Philippe Schnoebelen},
  title     = {Bisimulation and Other Undecidable Equivalences for Lossy
               Channel Systems},
  booktitle = {Proc. of TACS'01},
  year      = {2001},
  pages     = {385--399},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2215},
}



@article{Finkel94,
  	author =	{Finkel, Alain},
  	DOI =	{10.1007/BF02277857},
  	journal =	{Distributed Computing},
  	number =	{3},
  	pages =	{129-135},
  	publisher =	{Springer},
  	title =	{Decidability of the Termination Problem for Completely Specified Protocols},
  	volume =	{7},
  	year =	{1994},
}

@inproceedings{Tho89,
  author    = {Bent Thomsen},
  title     = {A Calculus of Higher Order Communicating Systems},
  booktitle = {Proc. of POPL'89},
  year      = {1989},
  pages     = {143--154},
  publisher = {{ACM} {P}ress},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Tho93,
  author    = {Bent Thomsen},
  title     = {Plain {CHOCS}: A Second Generation Calculus for Higher Order
               Processes},
  journal   = {Acta Inf.},
  volume    = {30},
  number    = {1},
  year      = {1993},
  pages     = {1--59},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@phdthesis{Tho90,
   author = {Bent Thomsen},
   title = {Calculi for Higher Order Communicating Systems}, 
   school = {Dept. of Comp. Sci., Imperial College},
   year = {1990},
}

@article{San_open,
  author    = {Davide Sangiorgi},
  title     = {The Lazy Lambda Calculus in a Concurrency Scenario},
  journal   = {Inf. Comput.},
  volume    = {111},
  number    = {1},
  year      = {1994},
  pages     = {120--153},
  publisher = {Elsevier},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{ChristensenHM94,
  author    = {Christensen, S. and
               Y. Hirshfeld and
               F. Moller},
  title     = {Decidable Subsets of {CCS}},
  journal   = {Comput. J.},
  volume    = {37},
  number    = {4},
  year      = {1994},
  pages     = {233-242},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{BusiGZ04,
  author    = {Busi, N. and
               M. Gabbrielli and
               G. Zavattaro},
  title     = {Comparing Recursion, Replication, and Iteration in Process
               Calculi},
  booktitle = {Proc. of ICALP'04},
  volume    = {3142},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  year      = {2004},
  pages     = {307-319},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3142{\&}spage=307},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@Book{Minsky67,
  author = 	 {Minsky, Marvin},
  title = 	 {Computation: Finite and Infinite Machines},
  publisher = 	 {Prentice-Hall},
  year = 	 {1967},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Book{Milner99,
  author = 	 {R. Milner},
  title = 	 {Communicating and Mobile Systems: the $\pi$-calculus},
  publisher = 	 {Cambridge University Press},
  year = 	 {1999},
  }

@Book{Milner89,
  author = 	 {R. Milner},
  title = 	 {Communication and Concurrency},
  publisher = 	 {Prentice Hall},
  year = 	 {1989},
  series = 	 {International Series in Computer Science},
 }

@Article{Post46,
  author = 	 {Post, Emil L.},
  title = 	 {A variant of a recursively unsolvable problem},
  journal = 	 {Bull. of the Am. Math. Soc},
  year = 	 {1946},
  OPTkey = 	 {},
  volume = 	 {52},
  OPTnumber = 	 {},
  pages = 	 {264--268},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@article{HoYo95,
  author    = {Kohei Honda and
               Nobuko Yoshida},
  title     = {On Reduction-Based Process Semantics},
  journal   = {Theor. Comput. Sci.},
  volume    = {151},
  number    = {2},
  year      = {1995},
  pages     = {437-486},
  ee        = {http://dx.doi.org/10.1016/0304-3975(95)00074-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Hir07,
  author    = {Daniel Hirschkoff and
               Damien Pous},
  title     = {A Distribution Law for {CCS} and a New Congruence Result for
               the {\it pi}-Calculus},
  booktitle = {Proc. of FoSSaCS'07},
  year      = {2007},
  pages     = {228--242},
  OPTeditor    = {Helmut Seidl},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4423},
}

@Article{MM93,
  author = 	 {Robin Milner and Faron Moller},
  title = 	 {Unique Decomposition of Processes},
  journal = 	 {Theor. Comput. Sci.},
  year = 	 {1993},
  OPTkey = 	 {},
  volume = 	 {107},
  number = 	 {2},
  pages = 	 {357--363},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@article{DovierPP04,
  author    = {Agostino Dovier and
               Carla Piazza and
               Alberto Policriti},
  title     = {An efficient algorithm for computing bisimulation equivalence},
  journal   = {Theor. Comput. Sci.},
  volume    = {311},
  number    = {1-3},
  year      = {2004},
  pages     = {221-256},
  ee        = {http://dx.doi.org/10.1016/S0304-3975(03)00361-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{JR05,
  author    = {Alan Jeffrey and
               Julian Rathke},
  title     = {Contextual equivalence for higher-order pi-calculus revisited},
  journal   = {Logical Methods in Computer Science},
  volume    = {1},
  number    = {1},
  year      = {2005},
  pages     = {1--22},
  ee        = {http://dx.doi.org/10.2168/LMCS-1(1:4)2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{howe,
  author    = {Douglas J. Howe},
  title     = {Proving Congruence of Bisimulation in Functional Programming
               Languages},
  journal   = {Inf. Comput.},
  volume    = {124},
  number    = {2},
  year      = {1996},
  pages     = {103--112},
  publisher = {Elsevier},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}





@inproceedings{LanesePSS08,
  author    = {Ivan Lanese and
               Jorge A. P{\'e}rez and
               Davide Sangiorgi and
               Alan Schmitt},
  title     = {On the Expressiveness and Decidability of Higher-Order Process
               Calculi},
  booktitle = {Proc. of LICS'08},
  publisher = {IEEE Computer Society},
  year      = {2008},
  pages     = {145-155},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/LICS.2008.8},
}

@inproceedings{LanesePSS09,
  author    = {Ivan Lanese and
               Jorge A. P{\'e}rez and
               Davide Sangiorgi and
               Alan Schmitt},
  title     = {On the Expressiveness and Decidability of Polyadicity in Higher-Order Process
               Calculi (Extended Abstract)},
  booktitle = {Proc. of ICTCS'09: the Eleventh Italian Conference on Theoretical Computer Science},
  year      = {2009}, 
}


@inproceedings{GiustoPZ09,
  author    = {Cinzia {Di Giusto} and
               Jorge A. P{\'e}rez and
               Gianluigi Zavattaro},
  title     = {On the Expressiveness of Forwarding in Higher-Order Communication},
  booktitle = {Proc. of ICTAC},
  year      = {2009},
  pages     = {155-169},
publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5684}
}



@InProceedings{hopiTR,
  author = 	 {Ivan Lanese and Jorge A. P\'{e}rez and Davide Sangiorgi and Alan Schmitt},
  title = 	 {On the Expressiveness and Decidability of Higher-Order Process Calculi},
  note = {Extended version available in \url{http://www.cs.unibo.it/~perez/drafts/hocore-long.pdf}},
  year = 	 {2008},
  booktitle = 	 {To appear in Proc. of LICS'08},
  publisher = {IEEE}
}


@inproceedings{AsGi88,
  author    = {Egidio Astesiano and
               Alessandro Giovini and
               Gianna Reggio},
  title     = {Generalized Bisimulation in Relational Specifications},
  booktitle = {Proc. of STACS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {294},
  year      = {1988},
  pages     = {207-226}
}

@inproceedings{Boudol89,
  author    = {G{\'e}rard Boudol},
  title     = {Towards a Lambda-Calculus for Concurrent and Communicating Systems},
  booktitle = {Proc. of TAPSOFT, Vol.1},
  pages     = {149-161},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {351},
  year      = {1989},
  isbn      = {3-540-50939-9},
  note      = {Also appeared as INRIA Research Report No. RR-0885, August 1988},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@TechReport{Boudol92,
author = {G{\'e}rard Boudol},
title = {Asynchrony and the $\pi$-calculus (note)},
institution = {Rapport de Recherche 1702, INRIA,
  Sophia-Antipolis},
year = {1992}
}

@inproceedings{HondaT91,
  author    = {Kohei Honda and
               Mario Tokoro},
  title     = {An Object Calculus for Asynchronous Communication},
  booktitle = {Proc. of ECOOP},
  year      = {1991},
  pages     = {133-147},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {512}
}


@inproceedings{Bou89,
  author    = {G{\'e}rard Boudol},
  title     = {Towards a Lambda-Calculus for Concurrent and Communicating
               Systems},
  booktitle = {Proc. of TAPSOFT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {351},
  year      = {1989},
  pages     = {149-161}
}

@article{Howe96,
  author    = {Douglas J. Howe},
  title     = {Proving Congruence of Bisimulation in Functional Programming
               Languages},
  journal   = {Inf. Comput.},
  volume    = {124},
  number    = {2},
  year      = {1996},
  pages     = {103-112},
  bibsource = {DBLP, http://dblp.uni-trier.de}
} 



@PhdThesis{Bal98,
  author = 	 {Michael Baldamus},
  title = 	 {Semantics and Logic of Higher-Order Processes: Characterizing Late Context Bisimulation},
  school = 	 {Computer science department, Berlin University of Technology},
  year = 	 {1998}
}

@inproceedings{GH05,
  author    = {Jens Chr. Godskesen and Thomas T. Hildebrandt},
  title     = {Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names},
  booktitle = {Proc. of FSTTCS},
  year      = {2005}, 
  pages     = {140-151},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3821}
}


@article{NFP98,
  author    = {Rocco {De Nicola} and
               Gian Luigi Ferrari and
               Rosario Pugliese},
  title     = {KLAIM: A Kernel Language for Agents Interaction and Mobility},
  journal   = {IEEE Trans. Software Eng.},
  volume    = {24},
  number    = {5},
  year      = {1998},
  pages     = {315-330},
  ee        = {http://csdl.computer.org/comp/trans/ts/1998/05/e0315abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{SchmittS04,
  author    = {Alan Schmitt and
               Jean-Bernard Stefani},
  title     = {The Kell Calculus: A Family of Higher-Order Distributed
               Process Calculi},
  booktitle = {Proc. of Global Computing},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3267},
  year      = {2004},
  pages     = {146-178}
}

@inproceedings{SchmittS03,
  author    = {Alan Schmitt and
               Jean-Bernard Stefani},
  title     = {The m-calculus: a higher-order distributed process calculus},
  booktitle = {Proc. of POPL'03},
  year      = {2003},
  pages     = {50-61},
  publisher = {ACM},
  ee        = {http://doi.acm.org/10.1145/640128.604136},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{GodskesenHS02,
  author    = {Jens Chr. Godskesen and
               Thomas T. Hildebrandt and
               Vladimiro Sassone},
  title     = {A Calculus of Mobile Resources},
  booktitle = {Proc. of CONCUR},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2421},
  year      = {2002},
  pages     = {272-287}
}




@Unpublished{LSS08,
  author = 	 {Sergue\"{i} Lenglet and Alan Schmitt and Jean-Bernard Stefani},
  title = 	 {Bisimulations in Calculi Featuring Passivation and Restriction},
  note = 	 {{Technical Report, Sardes Project, INRIA Rh\^one Alpes}},
  year = 	 {2008}
}




@inproceedings{AbadiBHI08,
  author    = {Mart\'{\i}n Abadi and
               Andrew Birrell and
               Tim Harris and
               Michael Isard},
  title     = {Semantics of transactional memory and automatic mutual exclusion},
  booktitle = {Proc. of POPL'08},
  pages     = {63-74},
  publisher = {ACM},
  year      = {2008}
}


@inproceedings{Park07,
  author    = {Sungwoo Park},
  title     = {Type-safe higher-order channels in ML-like languages},
  booktitle = {Proc. of ICFP},
  year      = {2007},
  pages     = {191-202},
  publisher = {ACM}
}


@article{CardelliGG02,
  author    = {Luca Cardelli and
               Giorgio Ghelli and
               Andrew D. Gordon},
  title     = {Types for the Ambient Calculus},
  journal   = {Inf. Comput.},
  volume    = {177},
  number    = {2},
  year      = {2002},
  pages     = {160-194},
  ee        = {http://dx.doi.org/10.1006/inco.2001.3121},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{CardelliG98,
  author    = {Luca Cardelli and
               Andrew D. Gordon},
  title     = {Mobile Ambients},
  booktitle = {Proc. of FoSSaCS},
  year      = {1998},
  pages     = {140-155},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1378}
}

@article{JeffreyR04,
  author    = {Alan Jeffrey and
               Julian Rathke},
  title     = {A theory of bisimulation for a fragment of concurrent ML
               with local names},
  journal   = {Theor. Comput. Sci.},
  volume    = {323},
  number    = {1-3},
  year      = {2004},
  pages     = {1-48},
  ee        = {http://dx.doi.org/10.1016/j.tcs.2004.03.005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{FerreiraHJ98,
  author    = {William Ferreira and
               Matthew Hennessy and
               Alan Jeffrey},
  title     = {A Theory of Weak Bisimulation for Core CML},
  journal   = {J. Funct. Program.},
  volume    = {8},
  number    = {5},
  year      = {1998},
  pages     = {447-491},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@TechReport{PousTR07,
  author = 	 {Damien Pous},
  title = 	 {Using Bisimulation Proof Techniques for the Analysis of Distributed Algorithms},
  institution =  {LIP - ENS Lyon},
  year = 	 {2007},
  number = 	 {2007-31}
}

@PhdThesis{PousThesis08,
  author = 	 {Damien Pous},
  title = 	 {Techniques modulo pour les bisimulations},
  school = 	 {LIP - ENS Lyon},
  year = 	 {2008}
}

@Book{HennBook,
  author = 	 {Matthew Hennessy},
  title = 	 {Algebraic Theory of Processes},
  publisher = 	 {MIT Press},
  year = 	 {1988}
}


@article{BorealeNP02,
  author    = {Michele Boreale and
               Rocco {De Nicola} and
               Rosario Pugliese},
  title     = {Trace and Testing Equivalence on Asynchronous Processes},
  journal   = {Inf. Comput.},
  volume    = {172},
  number    = {2},
  year      = {2002},
  pages     = {139-164},
  ee        = {http://www.idealibrary.com/links/doi/10.1006/inco.2001.3080},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{Herlihy07,
  author    = {Maurice Herlihy},
  title     = {The Multicore Revolution},
  booktitle = {Proc. of FSTTCS},
  year      = {2007},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4855},
  pages     = {1-8},
  ee        = {http://dx.doi.org/10.1007/978-3-540-77050-3_1},
}

@article{NiehrenSS06,
  author    = {Joachim Niehren and
               Jan Schwinghammer and
               Gert Smolka},
  title     = {A concurrent lambda calculus with futures},
  journal   = {Theor. Comput. Sci.},
  volume    = {364},
  number    = {3},
  year      = {2006},
  pages     = {338-356},
  ee        = {http://dx.doi.org/10.1016/j.tcs.2006.08.016},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Pous07,
  author    = {Damien Pous},
  title     = {Complete Lattices and Up-To Techniques},
  booktitle = {Proc. of APLAS},
  year      = {2007},
  pages     = {351-366},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4807},
  ee        = {http://dx.doi.org/10.1007/978-3-540-76637-7_24}

}


@inproceedings{Sangiorgi02,
  author    = {Davide Sangiorgi},
  title     = {Types, or: Where's the Difference Between CCS and pi?},
  booktitle = {Proc. of CONCUR},
  year      = {2002},
  pages     = {76-97},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2421},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2421/24210076.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

%% add  year 
@Misc{TyPiCal,
  author = 	 {Naoki Kobayashi},
  title = 	 {{TyPiCal}: Type-based static analyzer for the Pi-Calculus},
  year = {2008},
  howpublished = {Tool available from http://www.kb.ecei.tohoku.ac.jp/~koba/typical/}

}

@inproceedings{Kobayashi06,
  author    = {Naoki Kobayashi},
  title     = {A New Type System for Deadlock-Free Processes},
  booktitle = {Proc. of CONCUR},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4137},
  year      = {2006},
  pages     = {233-247},
  ee        = {http://dx.doi.org/10.1007/11817949_16},
  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@inproceedings{Kobayashi02,
  author    = {Naoki Kobayashi},
  title     = {Type Systems for Concurrent Programs},
  booktitle = {Proc. of 10th Anniversary Colloquium of UNU/IIST},
  year      = {2002},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2757},
  pages     = {439-453},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2757{\&}spage=439},
  note = {Revised and extended version (Nov 2007) available in the author's website},
  bibsource = {DBLP, http://dblp.uni-trier.de}

}



@article{KobayashiPT99,
  author    = {Naoki Kobayashi and
               Benjamin C. Pierce and
               David N. Turner},
  title     = {Linearity and the pi-calculus},
  journal   = {ACM Trans. Program. Lang. Syst.},
  volume    = {21},
  number    = {5},
  year      = {1999},
  pages     = {914-947},
  ee        = {http://doi.acm.org/10.1145/330249.330251},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Kobayashi98,
  author    = {Naoki Kobayashi},
  title     = {A Partially Deadlock-Free Typed Process Calculus},
  journal   = {ACM Trans. Program. Lang. Syst.},
  volume    = {20},
  number    = {2},
  year      = {1998},
  pages     = {436-482},
  ee        = {http://doi.acm.org/10.1145/276393.278524},
  note =    {A preliminary version appeared in 12nd Annual IEEE Symposium on Logic
in Computer Science, pages 128--139, 1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{SumiiK98,
  author    = {Eijiro Sumii and
               Naoki Kobayashi},
  title     = {A Generalized Deadlock-Free Process Calculus},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {16},
  number    = {3},
  year      = {1998},
  ee        = {http://www.elsevier.com/gej-ng/31/29/23/40/26/show/Products/notes/index.htt\#006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{KobayashiSS00,
  author    = {Naoki Kobayashi and
               Shin Saito and
               Eijiro Sumii},
  title     = {An Implicitly-Typed Deadlock-Free Process Calculus},
  booktitle = {Proc. of CONCUR},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1877},
  year      = {2000},
  pages     = {489-503},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/1877/18770489.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{KobaInfCom02,
  author    = {Naoki Kobayashi},
  title     = {A Type System for Lock-Free Processes},
  journal   = {Inf. Comput.},
  volume    = {177},
  number    = {2},
  year      = {2002},
  pages     = {122-159},
  ee        = {http://dx.doi.org/10.1006/inco.2002.3171},
  note = {A preliminary version appeared in Proceedings of TCS2000, Springer LNCS 1872, pp.365-389, under the title ``Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{KobaActa05,
  author    = {Naoki Kobayashi},
  title     = {Type-based information flow analysis for the pi-calculus},
  journal   = {Acta Inf.},
  volume    = {42},
  number    = {4-5},
  year      = {2005},
  pages     = {291-347},
  ee        = {http://dx.doi.org/10.1007/s00236-005-0179-x},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{SuenagaK07,
  author    = {Kohei Suenaga and
               Naoki Kobayashi},
  title     = {Type-Based Analysis of Deadlock for a Concurrent Calculus
               with Interrupts},
  booktitle = {Proc. of ESOP},
  year      = {2007},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4421},
  pages     = {490-504},
  ee        = {http://dx.doi.org/10.1007/978-3-540-71316-6_33},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DengS06,
  author    = {Yuxin Deng and
               Davide Sangiorgi},
  title     = {Ensuring termination by typability},
  journal   = {Inf. Comput.},
  volume    = {204},
  number    = {7},
  year      = {2006},
  pages     = {1045-1082},
  ee        = {http://dx.doi.org/10.1016/j.ic.2006.03.002},
  note = {An preliminary version appeared in  Proc. IFIP TCS'04. Kluwer, 619--632},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{YoshidaBH01,
  author    = {Nobuko Yoshida and
               Martin Berger and
               Kohei Honda},
  title     = {Strong Normalisation in the pi-Calculus},
  booktitle = {Proc. of LICS'01},
  year      = {2001},
  pages     = {311-322},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{YoshidaBH04,
  author    = {Nobuko Yoshida and
               Martin Berger and
               Kohei Honda},
  title     = {Strong normalisation in the pi -calculus},
  journal   = {Inf. Comput.},
  volume    = {191},
  number    = {2},
  year      = {2004},
  pages     = {145-202},
  ee        = {http://dx.doi.org/10.1016/j.ic.2003.08.004},
  note = {An extended abstract appeared in the Proc. of LICS'01},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{AmadioD95,
  author    = {Roberto M. Amadio and
               Mads Dam},
  title     = {Reasoning about Higher-Order Processes},
  booktitle = {Proc. of TAPSOFT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {915},
  year      = {1995},
  pages     = {202-216},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{BaldamusD97,
  author    = {Michael Baldamus and
               J{\"u}rgen Dingel},
  title     = {Modal Characterization of Weak Bisimulation for Higher-order
               Processes (Extended Abstract)},
  booktitle = {Proc. of TAPSOFT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1214},
  year      = {1997},
  pages     = {285-296},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{MerroN05,
  author    = {Massimo Merro and
               Francesco {Zappa-Nardelli}},
  title     = {Behavioral theory for mobile ambients},
  journal   = {J. ACM},
  volume    = {52},
  number    = {6},
  year      = {2005},
  pages     = {961-1023},
  ee        = {http://doi.acm.org/10.1145/1101821.1101825},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Nicola06,
  author    = {Rocco {De Nicola}},
  title     = {From Process Calculi to {Klaim} and Back},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {162},
  year      = {2006},
  pages     = {159-162},
  ee        = {http://dx.doi.org/10.1016/j.entcs.2005.12.110},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{BorealeNP99,
  author    = {Michele Boreale and
               Rocco {De Nicola} and
               Rosario Pugliese},
  title     = {Basic Observables for Processes},
  journal   = {Inf. Comput.},
  volume    = {149},
  number    = {1},
  year      = {1999},
  pages     = {77-98},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@Unpublished{KobaSan08,
  author = 	 {Naoki Kobayashi and Davide Sangiorgi},
  title = 	 {A Hybrid Type System for Lock-Freedom of Mobile Processes},
  note = 	 {Draft},
  year = 	 {2008}
}

@PhdThesis{San923,
  author = {Davide Sangiorgi},
   title = {Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms}, 
   school = {University of Edinburgh},
   year = {1992}
}


@inproceedings{Yoshida96,
  author    = {Nobuko Yoshida},
  title     = {Graph Types for Monadic Mobile Processes},
  booktitle = {Proc. of FSTTCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1180},
  year      = {1996},
  pages     = {371-386},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Sangiorgi99,
  author    = {Davide Sangiorgi},
  title     = {The Name Discipline of Uniform Receptiveness},
  journal   = {Theor. Comput. Sci.},
  volume    = {221},
  number    = {1-2},
  year      = {1999},
  pages     = {457-493},
  note        = {An extended abstract has appeared in Proc. ICALP'97},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@PhdThesis{MerroPhD,
  author = 	 {Massimo Merro},
  title = 	 {Locality in the $\pi$-calculus and applications to object-oriented languages},
  school = 	 {Ecole des Mines de Paris},
  year = 	 {2001}
}

@article{IgarashiK04,
  author    = {Atsushi Igarashi and Naoki Kobayashi},
  title     = {A generic type system for the Pi-calculus},
  journal   = {Theor. Comput. Sci.},
  volume    = {311},
  number    = {1-3},
  year      = {2004},
  pages     = {121-163},
  ee        = {http://dx.doi.org/10.1016/S0304-3975(03)00325-6},
  note = {A preliminary summary appeared in Proc. of POPL'01},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@incollection{ milner93polyadic,
    author = "R. Milner",
    title = "The polyadic pi-calculus: a tutorial",
    booktitle = "Logic and Algebra of Specification",
    publisher = "Springer-Verlag",
    editor = "F. L. Bauer and W. Brauer and H. Schwichtenberg",
    pages = "203--246",
    year = "1993",
    url = "citeseer.ist.psu.edu/article/milner91polyadic.html" }


@article{MeredithB03,
  author    = {Greg Meredith and
               Steve Bjorg},
  title     = {Contracts and types},
  journal   = {Commun. ACM},
  volume    = {46},
  number    = {10},
  year      = {2003},
  pages     = {41-47},
  ee        = {http://doi.acm.org/10.1145/944217.944236},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{BrogiCP07,
  author    = {Antonio Brogi and
               Carlos Canal and
               Ernesto Pimentel},
  title     = {Behavioural Types for Service Integration: Achievements
               and Challenges},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {180},
  number    = {2},
  year      = {2007},
  pages     = {41-54},
  ee        = {http://dx.doi.org/10.1016/j.entcs.2006.10.045},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}